$\vdash$  $\forall$$A$:Type, $f$:($A$$\rightarrow\mathbb{B}$), $x$:$A$. Dec($f$($x$) = tt)